2018-00436 - Formal Verification of Process Networks as Compiler Intermediate Representation - ROMA - PHD Campaign - Campagne Doctorants Grenoble Rhône-Alpes

Grenoble is the capital city of the French Alpes. Combining the urban life-style of southern France with a unique mountain setting, it is ideally situated for outdoor activities. The Grenoble area is today an important centre of industry and science (second largest in France). Dedicated to an ambitious policy in the arts, the city is host to numerous cultural institutions. With 60,000 students (including 6,000 foreign students), Grenoble is the third largest student area in France.